1. A practical logic of cognitive systems
المؤلف: Gabbay, Dov M., 5491-
المکتبة: (طهران)
موضوع: ، Logic
رده :
BC
71
.
G22P7
2. Agenda relevance :
المؤلف: Dov M. Gabbay and John Woods.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic.,Logic.
رده :
BC71
.
G315
2003eb
3. Agent-Based Defeasible Control in Dynamic Environments.
المؤلف: Dov M Gabbay
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.
رده :
Q339
.
D686
2010
4. Approaches to Legal Rationality
المؤلف: / Dov M. Gabbay, Patrice Canivez, Shahid Rahman, Alexandre Thiercelin
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
5. Approaches to Legal Rationality
المؤلف: / Dov M. Gabbay... [et al.], editors
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Law -- Methodology,حقوق -- روش‌شناسی
رده :
K212
.
A685
2010
6. Approaches to legal rationalit
المؤلف: / Dov M. Gabbay... [et al.], editors
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Law--Methodology
رده :
K
,
212
,.
A685
,
2010
7. Approaches to legal rationality /
المؤلف: Dov M. Gabbay... [et al.], editors.
المکتبة: (طهران)
موضوع: Law -- Methodology.,حقوق -- روش شناسی
رده :
K212
.
A68
8. Approaches to legal rationality
المؤلف: / Dov M. Gabbay... [et al.], editors
المکتبة: مكتبة حرم كيش الدولي بجامعة طهران (هرمزکان)
موضوع: Law--Methodology
رده :
K
212
.
A6
2010
9. Approaches to legal rationality
المؤلف: Dov M. Gabbay... ]et al.[, editors
المکتبة: (طهران)
موضوع: ، Law -- Methodology
رده :
K
212
.
A66
10. Approaches to legal rationality
المؤلف: Dov M. Gabbay ... ]et al.[, editors
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Methodology ، Law,Philosophy ، Law
رده :
K
212
.
A67
2010
11. Approaches to legal rationality
المؤلف: Dov M. Gabbay... ]et al.[, editors
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Law, Methodology
رده :
K
212
.
A685
2010
12. Based Systems-Logical Tools for Handling Change in Agent
المؤلف: / Dov M. Gabbay, Karl Schlechta
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: METHODS|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
13. British Logic in the Nineteenth Century
المؤلف: Gabbay, Dov M Compiler 5491 -
المکتبة: كتابخانه دانشگاه مفيد (قم)
موضوع:
رده :
BC
15
.
G3
H3
2008
14. Computational logic
المؤلف: edited by Dov M. Gabbay, Jörg H. Siekmann, John Woods.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer logic.
15. Conditionals and Modularity in General Logics
المؤلف: / Dov M. Gabbay, Karl Schlechta
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Conditionals (Logic),Modality (Logic),استلزام (منطق),منطق موجهات
رده :
BC199
.
C56
,
G32
2011
16. Conditionals and Modularity in General Logics
المؤلف: / Dov M. Gabbay, Karl Schlechta
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
رده :
E-BOOK
17. Dynamic syntax. : the flow of language understanding
المؤلف: Kempson, Ruth M, Ruth Kempson, Wilfried Meyer-Viol, Dov Gabbay
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Grammar, Comparative and general- Syntax,، Linguistic analysis )Linguistics(
رده :
P
291
.
K38
18. Fibring logics
المؤلف: Gabbay, Dov M.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
G175
1999
19. Fibring logics
المؤلف: Gabbay, Dov M., 5491-
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
G175
20. Goal-directed proof theory
المؤلف: / by Dov M. Gabbay and Nicola Olivetti
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Proof theory
رده :
QA9
.
54
.
G33
2000
